Topologically inseparable functions I: Finitary case
نویسندگان
چکیده
منابع مشابه
Topologically Inseparable Functions I: Finitary Case
Given a finite set A and a distinguished function f : A −→ A , we study the set of all functions g : A −→ A that are continuous for all topologies for which f is continuous. The main result is a characterization of the functions f such that this set is trivial, that is, contains only the constant functions and the iterates of f . Introduction The Problem. Let A be a set and f : A → A be a fixed...
متن کاملFinitary bases and formal generating functions
Let k be a nonzero, commutative ring with 1, and let R be a k-algebra with a countably-infinite ordered free k-basis B = {pn: n~>0}. We characterize and analyze those bases from which one can construct a k-algebra of 'formal B-series' of the form f = ~ c , p , , with cn Ek, showing inter alia that many classical polynomial bases fail to have this property. @ 1998 Elsevier Science B.V. All right...
متن کاملSome Functional-difference Equations Solvable in Finitary Functions
The following equation is considered: q(−i∂/∂x)u(x) = (f ∗ u)(Ax), where q is a polynomial with complex coefficients, f is a compactly supported distribution, and A : Rn → Rn is a linear operator whose complexification has no spectrum in the closed unit disk. It turns out that this equation has a (smooth) solution u(x) with compact support. In the one-dimensional case, this problem was treated ...
متن کاملInseparable Local Uniformization
The aim of this paper is to prove that an algebraic variety over a field can be desingularized locally along a valuation after a purely inseparable alteration. Zariski was first to study the problem of desingularizing algebraic varieties along valuations. He called this problem local uniformization of valuations and observed that it should be considered as the local part of the desingularizatio...
متن کاملFinitary Languages
The class of ω-regular languages provides a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness part. The liveness part ensures that something good happens “eventually”. Finitary liveness was proposed by Alur and Henzinger as a stronger formulation of liveness [AH98]. It requires that there exists an unknown, fixed bound b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semigroup Forum
سال: 2002
ISSN: 0037-1912,1432-2137
DOI: 10.1007/s002330010155